<?hh

class Foo<-T> {}

type X<T> = Foo<T>;
